-
Notifications
You must be signed in to change notification settings - Fork 45
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
c2rust: Use released version #215
base: master
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK.
Reopening after accidentally having deleted the branch. |
Huh, saying that this is not where I'd have expected the error to show up would be putting it mildly -- I'm having a look at why this fails, but it may take a while. |
I have no clue what caused the build failure, and can not reproduce the issue locally (after building the container in podman and using Let's see if it was a random glitch (like, file system error?), restarting the build test. |
Seems that builds break due to files left over from other runs. Switching to draft PR to prevent accidental merging just because a test happens to fix it. |
040c1db
to
d2248ab
Compare
I suspect now that this is due to changes in some base image, and would break in master just as well. I still can't make progress for lack of a way to reproduce it (works locally), so I'm triggering a master rebuild to cut down the space. |
9038964
to
0e04566
Compare
0e04566
to
6298db0
Compare
6298db0
to
f69bdcb
Compare
This reduces the dependency on a particular GitHub branch that I was already about to remove after immunant/c2rust#693 was done.
Still marked as a draft as it depends on immunant/c2rust#690 (but that has all its blockers gone already).